Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

config cli and docs: make it easier for users to find the config file #2907

Merged
merged 3 commits into from
Feb 3, 2024

Conversation

ilyagr
Copy link
Contributor

@ilyagr ilyagr commented Feb 1, 2024

Instead of jj config path, I considered suggesting

EDITOR=echo jj config edit --user

but Windows. Also, I'm not sure whether that trick would please or annoy people.

Checklist

If applicable:

  • I have updated CHANGELOG.md
  • I have updated the documentation (README.md, docs/, demos/)
  • (n/a) I have updated the config schema (cli/src/config-schema.json)
  • I have added tests to cover my changes

@ilyagr ilyagr force-pushed the config branch 2 times, most recently from 6c0d71e to d996ce5 Compare February 1, 2024 05:23
@ilyagr ilyagr marked this pull request as ready for review February 1, 2024 05:24
cli/src/commands/config.rs Outdated Show resolved Hide resolved
docs/config.md Outdated Show resolved Hide resolved
@ilyagr ilyagr force-pushed the config branch 2 times, most recently from 40007de to 2a2aa38 Compare February 1, 2024 20:24
Copy link
Contributor

@PhilipMetzger PhilipMetzger left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, I just have some small suggestions.

docs/config.md Outdated Show resolved Hide resolved
docs/config.md Outdated Show resolved Hide resolved
cli/src/commands/config.rs Outdated Show resolved Hide resolved
@ilyagr ilyagr force-pushed the config branch 2 times, most recently from 79aec42 to 926e23d Compare February 2, 2024 02:55
docs/config.md Outdated Show resolved Hide resolved
docs/config.md Show resolved Hide resolved
This changes the intro section to recommend using `jj config edit` to
edit the config instead of looking for the files manually.
@ilyagr
Copy link
Contributor Author

ilyagr commented Feb 3, 2024

I think this is good to go; I'll merge it in a bit unless I hear otherwise. Thank you everybody for the suggestions!

@ilyagr ilyagr merged commit b3c4795 into jj-vcs:main Feb 3, 2024
15 checks passed
@ilyagr ilyagr deleted the config branch February 3, 2024 07:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants